Discussion 12: Program Correctness

Welcome to the twelfth discussion! This week we'll review program correctness.

Materials

Download the lab slides here.

After lab we'll publish the solutions here.

Today there is no starter code, you'll submit a picture of your work to gradescope instead.